
#ifndef TEST_PLATFORM_H
#define TEST_PLATFORM_H

#include <stdint.h>


/*********************************************************************/


int test_io_getc(void);

int test_io_wait_char(void);

int test_io_gets(char *buf, int len);

int test_io_wait_line(char *buf, int size);

int test_io_puts(char *buf);

#endif
